Dynamic Attribute Grammars Dynamic Attribute Grammars Les Grammaires Attribuues Dynamiques

Although Attribute Grammars were introduced long ago, their lack of expressive-ness has resulted in limited use outside the domain of static language processing. With the new notion of Dynamic Attribute Grammars deened on top of Grammar Couples, informally presented in a previous paper, we show that it is possible to extend this expressiveness and to describe computations on structures that are not just trees, but also on abstractions allowing for innnite structures. The result is a language that is comparable in power to most rst-order functional languages, with a distinctive declarative character. In this paper, we give a formal deenition of Dynamic Attribute Grammars and show how to construct eecient visit-sequence-based evaluators for them, using traditional, well-established AG techniques (in our case, using the Fnc-2 system *). The major contribution of this approach is to restore the intrinsic power of Attribute Grammars and re-emphasize the eeectiveness of analysis and implementation techniques developed for them. RRsumm : Bien que les grammaires attribuues aient tt introduites il y a longtemps, leur manque de pouvoir d'expression les a connnnes dans le domaine du traitement statique des langages de programmation. Avec les nouvelles notions de grammaires attribuues dynamiques dddnies sur des couples de grammaires, prrsenttes informellement dans une prrccdente publication , nous montrons qu'il est possible d''tendre cette expressivitt et de ddcrire des calculs sur des structures qui ne sont pas uniquement des arbres, mais des abstractions qui rendent compte de structures innnies. Nous obtenons ainsi un langage dont le pouvoir d'expression est comparable celui de la plupart des langages fonctionnels du premier ordre, avec un cctt ddclaratif beaucoup plus marquu. Dans ce rapport, nous donnons la dddnition formelle des grammaires attribuues dynamiques et montrons comment construire pour elles des valuateurs eecaces base de ssquences de visites, en utilisant des techniques traditionnelles et prouves (dans notre cas, en utilisant notre systtme Fnc-2 **). La principale contribution de cette approche est de redonner toute leur puissance d'expression aux grammaires attribuues et de mettre en lumiire l'eecacitt des techniques d'analyse et d'implantation qui ont tt ddveloppes pour elles.